Module Algebra

Maude's module algebra

Module Algebra for Relational Specifications

Module algebra is described as a parametrised data type that takes a three sorted parameter, involving signatures, renamings and atomic specifications. An actual parameter describing relational specifications is given and a biinterpretation model is made for the resulting specification. 1986 CR Categories: D.2.0 [software engineering]: requirements/ specificationslanguages; D.2.2 [software engi...

An extensible module algebra for Maude

The fact that rewriting logic and Maude are reeective, so that rewriting logic speciications can be manipulated as terms at the metalevel, opens up the possibility of deening an algebra of module composition and transformation operations within the logic. This makes such a module algebra easily modiiable and extensible, enables the implementation of language extensions within Maude, and allows ...

Single Elements and Module Isomorphisms of Some Operator Algebra Modules

In this paper, we first introduce the concept of single elements in a module. A systematic study of single elements in the AlgL-module U is initiated, where L is a completely distributive subspace lattice on a Hilbert space H. Furthermore, as an application of single elements, we study module isomorphisms between norm closed AlgN -modules, where N is a nest, and obtain the following result: Sup...

A Nonmeromorphic Extension of the Moonshine Module Vertex Operator Algebra

We describe a natural structure of an abelian intertwining algebra (in the sense of Dong and Lepowsky) on the direct sum of the untwisted vertex operator algebra constructed from the Leech lattice and its (unique) irreducible twisted module. When restricting ourselves to the moonshine module, we obtain a new and conceptual proof that the moonshine module has a natural structure of a vertex oper...